Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

A graph distance metric combining maximum common subgraph and minimum common supergraph

Рік:
2001
Мова:
english
Файл:
PDF, 96 KB
english, 2001
2

On proving -termination of rewriting by size-change termination

Рік:
2005
Мова:
english
Файл:
PDF, 154 KB
english, 2005
3

Relaxing monotonicity for innermost termination

Рік:
2005
Мова:
english
Файл:
PDF, 136 KB
english, 2005